Nuprl Definition : rcv
0,22
postcript
pdf
rcv(
l
,
tg
) == inl(<
l
,
tg
>)
latex
FDL editor aliases
rcv
origin